Logical equivalence - PDFSEARCH.IO - Document Search Engine

Logical equivalence
Results: 18

#	Item
11	Equivalence Scales Goal In order to get measures of poverty and/or income inequality in a population, it is necessary to compare income across different types of households. It is not logical to directly compare total ho Add to Reading List Source URL: www.lisdatacenter.org Language: English - Date: 2011-12-28 07:02:54 Socioeconomics Economic inequality Disposable and discretionary income Wealth Income distribution Household income Distribution of wealth
12	Sensitivity Analysis Using Different Equivalence Scales Goal The LIS equivalence scale (square root of the number of household members) is just one among many possible equivalence scales. Obviously, the choice of the sca Add to Reading List Source URL: www.lisdatacenter.org Language: English - Date: 2011-12-28 07:02:54 Science Income distribution Scale Logical equivalence D29 International development Development Household income Poverty
13	Equivalence Scales Goal In order to get measures of poverty and/or income inequality in a population, it is necessary to compare income across different types of households. It is not logical to directly compare total ho Add to Reading List Source URL: www.lisdatacenter.org Language: English - Date: 2011-12-28 07:02:54 Development Household income Distribution of wealth Economic inequality Disposable and discretionary income Poverty Per capita income Income Socioeconomics Economics
14	Deadline[removed] CET Comments Template on CEIOPS-CP 82 The methodology for equivalence assessments by CEIOPS under Solvency II Add to Reading List Source URL: eiopa.europa.eu Language: English - Date: 2010-10-28 13:59:00 Actuarial science Information Solvency II Directive Equivalence class Equivalence relation Reinsurance Logical equivalence Comment Equivalence of categories Economy of the European Union European Insurance and Occupational Pensions Authority European Union
15	WACT[removed]Logical Relations and Parametricity A Reynolds Programme for Category Theory and Programming Languages Claudio Hermida1 University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-01-14 13:54:04 Algebra Category theory Mathematical structures Homomorphism Equivalence relation Binary relation Monoid Category Partial equivalence relation Mathematics Abstract algebra Algebraic structures
16	Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2003-12-16 10:28:26 Models of computation FO Finite model theory If and only if Logical connective Automata theory Interpretation Conjunctive normal form Petri net Mathematics Theoretical computer science Logic
17	Logical Methods in Computer Science Vol. 9(1:[removed], pp. 1–27 www.lmcs-online.org Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-14 03:06:22 Elementary mathematics Type theory Ring theory Setoid Apartness relation Semiring Monad Equivalence relation Type class Mathematics Abstract algebra Algebraic structures
18	PDF Document Add to Reading List Source URL: www.math.niu.edu Language: English - Date: 2004-02-27 12:43:15 Logical connectives Binary operations Inference Contraposition Conditional statement Converse If and only if Negation Logical equivalence Logic Propositional calculus Mathematics

UPDATE